Logic Programming and Machine Ethics

Logic Programming Applied to Machine Ethics

This paper investigates the appropriateness of LP-based reasoning to machine ethics, an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity for moral decision making. The first contribution of the paper is that of identifying morality viewpoints, as studied in moral philosophy and psychology, which are amenable to computational modeling, ...

Man Machine Service Embedded in Logic Programming

Focusing on interactive graphical applications 10], we observe that some portions of applications are most clearly and conveniently described using the Logic Programmation, while other portions are most clearly described using standard imperative constructs , especially the parts of user interfaces. Many software manufacturers provide Prolog systems which allow the use of external procedures. B...

Inductive Logic Programming: From Logic of Discovery to Machine Learning

Inductive Logic Programming (ILP) is a study of machine learning systems that use clausal theories in first-order logic as a representation language. In this paper, we survey theoretical foundations of ILP from the viewpoints of Logic of Discovery and Machine Learning, and try to unify these two views with the support of the modern theory of Logic Programming. Firstly, we define several hypothe...

Machine Learning and Inductive Logic Programming for Multi-agent Systems

Programming by Logic and Logic by Programming

This paper is an extended abstract of parts I and II of a monograph with the same title being prepared by the authors. Logic was developed before the arrival of computers and it can be presented without reference to them. The main idea of the monograph is to stress the mutual links between logic and computer programming by taking those parts of logic which deal with computability and nitary log...